dynamic program analysis
動的プログラム解析
Abstract interpretation
Daikon
Dynamic load testing
Profiling
(computer programming)
runtime verification
Program analysis
(computer science)
Static code analysis
Time Partition Testing
https://en.wikipedia.org/wiki/Dynamic_program_analysis